%
% Please keep this file ordered alphabetically by abbreviation
%

@string{ACSAC="Annual Computer Security Applications Conf."}
@string{AISEC=" {W}orkshop on {A}rtificial {I}ntelligence and {S}ecurity"}
@string{AISEC-2010="3rd" # AISEC}
@string{AMS="Intl. Workshop on Active Middleware Services"}
@string{APAQS="Asia-Pacific Conf. on Quality Software"}
@string{ASE="Intl. Conf. on Automated Software Engineering"}
@string{ASE-J="Automated Software Engineering Journal"}
@string{ASE-2007="22nd " # ASE}
@string{APSYS="Asia-Pacific Workshop on Systems"}
@string{ASPLOS="Intl. Conf. on Architectural Support for Programming Languages and Operating Systems"}
@string{ASPLOS-2008="13th " # ASPLOS}
@string{ASPLOS-2004="11th " # ASPLOS}

@string{CACM="Communications of the {ACM}"}
@string{CASCON="CASCON"}
@string{CASE="ASE"}
@string{CAV="Intl. Conf. on Computer Aided Verification"}
@string{CAV-EC2="CAV Workshop on Exploiting Concurrency Efficiently and Correctly"}
@string{CCC="Intl. Conf. on Compiler Construction"}
@string{CCS="Conf. on Computer and Communication Security"}
@string{CCS-2006="13th " # CCS}
@string{CCS-2008="15th " # CCS}
@string{CGO="Intl. Symp. on Code Generation and Optimization"}
@string{CGO-2004="2nd" # CGO}
@string{COMPSAC="Computer Software \& Applications Conference"}
@string{COMPUTER="IEEE Computer"}
@string{CSF="Computer Security Foundations Symp."}
@string{CSUR="{ACM} Computing Surveys"}

@string{DAC="Design Automation Conference"}
@string{DSN="Intl. Conf. on Dependable Systems and Networks"}

@string{ECOOP="European Conf. on Object-Oriented Programming"}
@string{ECOOP-1993="7th " # ECOOP}
@string{ECOOP-1997="11th " # ECOOP}
@string{EDCC="European Dependable Computing Conference"}
@string{EMSOFT= " Intl. Conf. on Embedded Software"}
@string{EMSOFT-2005 = "5th" # EMSOFT}
@string{EMSOFT-2006 = "6th" # EMSOFT}
@string{EMSOFT-2007 = "7th" # EMSOFT}
@string{ESOP = "European Symp. on Programming"}
@string{EUROSYS="ACM EuroSys European Conf. on Computer Systems"}
@string{EUROSIGOPS="{ACM SIGOPS} European Workshop"}

@string{FAST="USENIX Conf. on File and Storage Technologies"}
@string{FMCAD=" Intl. Conf. on Formal Methods in Computer-Aided Design"}
@string{FMCAD-2010="10th" # FMCAD}
@string{FMSD="Formal Methods in System Design"}
@string{FSE="Symp. on the Foundations of Software Eng."}
@string{FTCS="Intl. Symp. on Fault-Tolerant Computing"}

@string{HOTDEP  = "{W}orkshop on {H}ot {T}opics in {D}ependable {S}ystems"}
@string{HOTDEP-2008  = "4th " # HOTDEP}
@string{HOTDEP-2009  = "5th " # HOTDEP}
@string{HOTDEP-2010  = "6th " # HOTDEP}
@string{HOTPAR = "USENIX Workshop on Hot Topics in Parallelism"}
@string{HOTOS  = "{W}orkshop on {H}ot {T}opics in {O}perating {S}ystems"}
@string{HOTOS-2001 = "8th " # HOTOS}
@string{HOTOS-2003 = "9th " # HOTOS}
@string{HOTOS-2005 = "10th " # HOTOS}
@string{HOTOS-2007 = "11th " # HOTOS}
@string{HPCA = "International Symposium on High-Performance Computer Architecture"}

@string{ICAC="Intl. Conf. on Autonomic Computing"}
@string{ICDCS="Intl. Conf. on Distributed Computing Systems"}

@string{ICFP = "ACM SIGPLAN International Conference on Functional Programming"}
@string{ICISS="Intl. Conf. on Information Systems Security"}
@string{ICRS="Intl. Conf. on Reliable Software"}
@string{ICSE="Intl. Conf. on Software Engineering"}
@string{ICSE-2007="30th" # ICSE}
@string{ICSE-2008="30th" # ICSE}
@string{ICSE-2011="33th" # ICSE}
@string{ICST="Intl. Conf. on Software Testing Verification and Validation"}
@string{ICTSS="Intl. Conf. on {T}esting {S}oftware and {S}ystems"}
@string{IEEE-LCS="IEEE-LCS"}
@string{IISWC="IEEE Intl. Symp. on Workload Characterization"}
@string{IJES="Intl. Journal of Embedded Systems"}
@string{IJPP="Intl. Journal on Parallel Programming"}
@string{IJUFKS="Intl. Journal on Uncertainty, Fuzziness and Knowledge-based Systems"}
@string{IPDPS="Intl. Parallel and Distributed Processing Symp."}
@string{ISCA=" Intl. Symp. on Computer Architecture"}
@string{ISCA-1993="20th" # ISCA}
@string{ISCA-2003="30th" # ISCA}
@string{ISCA-2007="34th" # ISCA}
@string{ISCA-2008="35th" # ISCA}
@string{ISCA-2009="36th" # ISCA}
@string{ISMM="Intl. Symp. on Memory Management"}
@string{ISO= "International Organization for Standardization"}
@string{ISOLA="ISoLA"}
@string{ISPASS="IEEE Intl. Symp. on Performance Analysis of Systems and Software"}
@string{ISSRE="Intl. Symp. on Software Reliability Engineering"}
@string{ISSTA="Intl. Symp. on Software Testing and Analysis"}
@string{ITOCS="{IEEE} Transactions on Computers"}
@string{ITSE="IEEE Transactions on Software Engineering"}

@string{JACE="J. ACE"}

@string{LADIS = "{W}orkshop on {L}arge {S}cale {D}istributed {S}ystems and {M}iddleware"}
@string{LOPLAS="ACM Letters on Programming Languages and Systems"}
@string{LNCS="Lecture Notes In Computer Science"}
@string{LPAR= "Intl. Conf. on Logic for Programming Artificial Intelligence and Reasoning"}

@string{MICRO="IEEE/ACM International Symposium on Microarchitecture"}
@string{MIDDLEWARE=" Intl. Middleware Conf."}

@string{NDSS="Network and Distributed System Security Symp."}
@string{NSDI=" Symp. on Networked Systems Design and Implem."}

@string{OLS="Linux Symposium"}
@string{OOPSLA= " Conf. on Object-Oriented Programming, Systems, Languages, and Applications"}
@string{OOPSLA-1999="14th" # OOPSLA}
@string{OOPSLA-2002="17th" # OOPSLA}
@string{OSDI=" Symp. on Operating Sys. Design and Implem."}
@string{OSDI-1996="2nd" # OSDI}
@string{OSDI-2000="4th" # OSDI}
@string{OSDI-2002="5th" # OSDI}
@string{OSDI-2004="6th" # OSDI}
@string{OSDI-2006="7th" # OSDI}
@string{OSDI-2008="8th" # OSDI}
@string{OSR="ACM SIGOPS Operating Systems Review"}

@string{PASTE="Workshop on Program Analysis for Software Tools and Engineering"}
@string{PDMC="Intl. Workshop on Parallel and Distributed Methods in Verification"}
@string{PEPM="SIGPLAN Symp. on Partial Evaluation and Semantics-Based Program Manipulation"}
@string{PLDI=" Intl. Conf. on Programming Language Design and Implementation"}
@string{PLDI-1998="20th" # PLDI}
@string{PLDI-2005="27th" # PLDI}
@string{PLDI-2008="30th" # PLDI}
@string{PLDI-2009="31th" # PLDI}
@string{PODS=" Symp. on Principles of Database Systems"}
@string{POPL =" Symp. on Principles of Programming Languages"}
@string{PPoPP = "Symp. on Principles and Practice of Parallel Computing"}
@string{PVLDB=" Proc. of the VLDB Endowment"}

@string{QRS="Int. Conf. Software Quality, Reliability and Security"}
@string{QSIC=" Intl. Conf. on Quality Software "}
@string{QSIC-2010="10th" # QSIC}


@string{RV="Intl. Conf. on Runtime Verification"}
@string{RVW="Intl. Workshop on Runtime Verification"}
@string{RACES="{ACM} Workshop on Relaxing Synchronization for Multicore and Manycore Scalability"}

@string{SAT="Intl. Conf. on Theory and Applications of Satisfiability Testing"}
@string{SAW="{S}tatic {A}nalysis {W}orkshop"}
@string{SEN="ACM SIGSOFT Software Engineering Notes"}
@string{SIGCOMM = "ACM {SIGCOMM} {C}onf."}
@string{SIGMETRICS="ACM SIGMETRICS Conf."}
@string{SIGMOD=" ACM SIGMOD Conf."}
@string{SIGPLAN-Notices="SIGPLAN Notices"}
@string{SOCC=" Symp. on Cloud Computing"}
@string{SOSP=" Symp. on Operating Systems Principles"}
@string{SOSP-1971="3rd" # SOSP}
@string{SOSP-1993="14th" # SOSP}
@string{SOSP-1997="16th" # SOSP}
@string{SOSP-2002="18th" # SOSP}
@string{SOSP-2003="19th" # SOSP}
@string{SOSP-2005="20th" # SOSP}
@string{SOSP-2007="21st" # SOSP}
@string{SOUPS=" Symp. on Usable Privacy and Security"}
@string{SPIN="Intl. {SPIN} Workshop"}
@string{SPSM="Workshop on Security and Privacy in Smartphones and Mobile Devices"}
@string{SRDS="Symp. on Reliability in Distributed Software and Database Systems"}
@string{SSP="IEEE Symp. on Security and Privacy"}
@string{SSV="Intl. Workshop on Systems Software Verification"}
@string{SSV-2010="5th" # SSV}
@string{STVR=" Intl. Journal on Software Testing, Verification and Reliability"}

@string{TACAS="Intl. Conf. on Tools and Algorithms for the Construction and Analysis of Systems"}
@string{TAP="Tests and Proofs"}
@string{TPHOLs="Theorem Proving in Higher Order Logics"}
@string{TOCS="{ACM} Transactions on Computer Systems"}
@string{TOPLAS="{ACM} Transactions on Programming Languages and Systems"}
@string{TOMACS="{ACM} Transactions on Modeling and Computer Simulation"}
@string{TSE = "IEEE Transactions on Software Engineering"}

@string{USEC=" Workshop on Usable Security"}
@string{USENIX=" {USENIX} Annual Technical Conf."}
@string{USENIX-2004="29th" # USENIX}
@string{USENIX-2005="30th" # USENIX}
@string{USENIX-2007="32nd" # USENIX}
@string{USENIX-2008="33rd" # USENIX}
@string{USENIXSUMMER=" {USENIX} Summer Technical Conf."}
@string{USENIX-LISA=" {USENIX} Large Installation System Administration Conf."}
@string{USENIX-NT=" {USENIX} Windows NT Symposium"}
@string{USENIX-SEC=" {USENIX} Security Symp."}
@string{USITS=" {USENIX} Symp. on Internet Technologies and Systems"}

@string{VEE=" Intl. Conf. on Virtual Execution Environments"}
@string{VEE-2008="4th" # VEE}
@string{VLDB=" Intl. Conf. on Very Large Databases"}
@string{VLDBJ=" Intl. Journal on Very Large Databases"}
@string{VSTTE="Verified Software: Theories, Tools, Experiments"}

@string{WBIA="Workshop on Binary Instrumentation and Applications"}
@string{WCRE="Working Conf. on Reverse Engineering"}
@string{WIAPP="Workshop on Internat Applications"}
@string{WODET="Workshop on Determinism and Correctness in Parallel Programming"}
@string{WOSAS="1st Workshop on Operating System and Architectural Support for the On Demand IT InfraStructure"}
@string{WOSN="Workshop on Online Social Networks"}
@string{WOOT="Workshop on Offensive Technologies"}

@string{WRIPE="Intl. Workshop on Rigorous Protocol Engineering"}
